Als axiomatische Mengenlehre gilt jede Axiomatisierung der Mengenlehre, die die bekannten Antinomien der naiven Mengenlehre vermeidet. Die verbreitetste Axiomatisierung in der modernen Mathematik ist die Zermelo-Fraenkel-Mengenlehre mit Auswahlaxiom (ZFC). == Geschichte und Ausprägungen == Erste Axiomatisierungen der Mengenlehre wurden schon vor ...